مشخصات کتاب

The [pi]-calculus : a theory of mobile processes

ویرایش:  
نویسندگان: Davide Sangiorgi,  David Walker   
سری:  
ISBN (شابک) : 0521781779, 9780521781770 
ناشر: Cambridge University Press 
سال نشر: 2001 
تعداد صفحات: 592 
زبان: English 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

در صورت تبدیل فایل کتاب The [pi]-calculus : a theory of mobile processes به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب [pi] calculus: نظریه پردازش های تلفن همراه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب [pi] calculus: نظریه پردازش های تلفن همراه

تأثیر فزاینده علوم غیرخطی بر زیست شناسی و پزشکی، اساساً دیدگاه ما را نسبت به موجودات زنده و فرآیندهای بیماری تغییر می دهد. این کتاب کاربرد طیف وسیعی از مفاهیم دینامیک غیرخطی مانند خودسازماندهی، پیچیدگی، انسجام، رزونانس تصادفی، فراکتال ها و آشوب را در زیست پزشکی معرفی می کند. نوشته شده توسط چهره های برجسته در این زمینه، پوشش جزئیات تحقیقات تجربی و نظری، و همچنین احتمالات فن آوری در حال ظهور مانند تکنیک های کنترل غیرخطی برای درمان بیودینامیک پاتولوژیک، از جمله آریتمی قلبی و صرع. دینامیک بیولوژیکی و کنترل غیرخطی خودسازماندهی علاقه متخصصان و دانشجویان از طیف گسترده ای از رشته ها، از جمله فیزیکدانان، شیمیدانان، زیست شناسان، فیزیولوژیست های حسی و محققان پزشکی مانند متخصصان قلب، مغز و اعصاب و مهندسان زیست پزشکی را به خود جلب می کند. I. حساب [pi]-. 1. فرآیندها. 2. هم ارزی رفتاری -- Pt. II. تغییرات حساب [pi]-. 3. چند شکلی و بازگشت. 4. هم ارزی رفتاری، ادامه یافت. 5. خرده حساب -- Pt. III. تایپ شده [pi] -calculi. 6. پایه ها. 7. زیر تایپ کردن. 8. سیستم های نوع پیشرفته -- Pt. IV. استدلال در مورد فرآیندها با استفاده از Types. 9. زمینه سازی. 10. اثرات رفتاری انواع i/o. 11. تکنیک ها برای سیستم های نوع پیشرفته -- Pt. V. پارادایم مرتبه بالاتر. 12. بالاترین مرتبه [pi]-حساب. 13. مقایسه محاسبات مرتبه اول و بالاتر -- Pt. VI. به عنوان فرآیندها عمل می کند. 14. حساب [lambda]-. 15. تفسیر [lambda]-calculi. 16. تفسیر Typed [lambda]-calculi. 17. انتزاع کامل

توضیحاتی درمورد کتاب به خارجی

The growing impact of nonlinear science on biology and medicine is fundamentally changing our view of living organisms and disease processes. This book introduces the application to biomedicine of a broad range of concepts from nonlinear dynamics, such as self-organization, complexity, coherence, stochastic resonance, fractals, and chaos. Written by leading figures in the field, coverage details experimental and theoretical research, as well as the emerging technological possibilities such as nonlinear control techniques for treating pathological biodynamics, including heart arrhythmias and epilepsy. Self-Organized Biological Dynamics and Nonlinear Control will attract the interest of professionals and students from a wide range of disciplines, including physicists, chemists, biologists, sensory physiologists and medical researchers such as cardiologists, neurologists and biomedical engineers Pt. I. The [pi]-calculus. 1. Processes. 2. Behavioural Equivalence -- Pt. II. Variations of the [pi]-calculus. 3. Polyadicity and Recursion. 4. Behavioural Equivalence, continued. 5. Subcalculi -- Pt. III. Typed [pi]-calculi. 6. Foundations. 7. Subtyping. 8. Advanced Type Systems -- Pt. IV. Reasoning about Processes using Types. 9. Groundwork. 10. Behavioural Effects of i/o types. 11. Techniques for Advanced Type Systems -- Pt. V. The Higher-Order Paradigm. 12. Higher-Order [pi]-calculus. 13. Comparing First-Order and Higher-Order Calculi -- Pt. VI. Functions as Processes. 14. The [lambda]-calculus. 15. Interpreting [lambda]-calculi. 16. Interpreting Typed [lambda]-calculi. 17. Full Abstraction

فهرست مطالب

9780521543279......Page 1
9780521781770_frontmatter......Page 2
1-j......Page 14
2-j......Page 21
3-j......Page 31
4-j......Page 47
5......Page 51
6......Page 52
7......Page 62
8......Page 64
9......Page 74
10......Page 78
11......Page 88
12......Page 92
13......Page 102
14......Page 106
15......Page 116
16......Page 120
17......Page 130
18......Page 134
19......Page 144
20......Page 148
21......Page 158
22......Page 162
23......Page 166
24......Page 176
25......Page 180
26......Page 190
27......Page 194
28......Page 204
29......Page 208
30......Page 218
31......Page 222
32......Page 232
33......Page 234
34......Page 244
35......Page 250
36......Page 260
37......Page 266
38......Page 276
39......Page 280
40......Page 290
41......Page 294

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Derrick oder die Leidenschaft für das Mittelmaß: Streichholzbriefe 1990-2000

دانلود کتاب The Ghost Writer

دانلود کتاب Netherlands 1988-1989.

دانلود کتاب Die urologischen Komplikationen des Collum-Carcinoms

دانلود کتاب Accelerated Learning for Expertise: Rapid Knowledge Acquisition Skills to Learn Faster, Comprehend Deeper, and Reach a World-Class Level